locally convex direct sum - German English Dictionary